using System;
using System.Collections.Generic;
using System.Text;

namespace R2ML
{
    public class PostCondition
    {
        private ObjectClassificationAtom _objectClassificationAtom;

        [System.Xml.Serialization.XmlElementAttribute("ObjectClassificationAtom")]
        public ObjectClassificationAtom objectClassificationAtom
        {
            get
            {
                return _objectClassificationAtom;
            }
            set
            {
                _objectClassificationAtom = value;
            }
        }
    }

    ///<R2ML>
    /// <r2ml:postcondition>
	///     <r2ml:ObjectClassificationAtom r2ml:classID="srv:SoldCar">
    ///         <r2ml:ObjectVariable r2ml:name="car"/>
    ///     </r2ml:ObjectClassificationAtom>
    /// </r2ml:postcondition>
    ///</R2ML>
}
